TSTP Solution File: SET603^5 by SETHEO---3.3